基礎数学の護義から 半群とその表現